DIENER, HANNES: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A constructive treatment of Urysohn's Lemma in an apartness space

Douglas Bridges, Hannes Diener

Journal:

Mathematical Logic Quarterly

Year:

2006

Language:

english

File:

PDF, 106 KB

english, 2006

2

Sequences of real functions on in constructive reverse mathematics

Hannes Diener, Iris Loeb

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 667 KB

english, 2009

3

Logic, Construction, Computation () || On the Strength of some Semi-Constructive Theories

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 242 KB

english, 2012

4

Logic, Construction, Computation () || Provably Recursive Functions of Reflection

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 944 KB

english, 2012

5

Logic, Construction, Computation () || Axiomatizing Truth: Why and How? For Helmut Schwichtenberg on the occasion of his 70th birthday

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 184 KB

english, 2012

6

Generalising compactness

Journal:

Mathematical Logic Quarterly

Year:

2008

Language:

english

File:

PDF, 121 KB

english, 2008

7

The anti-Specker property, positivity, and total boundedness

Douglas Bridges, Hannes Diener

Journal:

Mathematical Logic Quarterly

Year:

2010

Language:

english

File:

PDF, 109 KB

english, 2010

8

Interrupted or continuous slowly absorbable sutures – Design of a multi-centre randomised trial to evaluate abdominal closure techniques INSECT-Trial [ISRCTN24023541]

Hanns-Peter Knaebel, Moritz Koch, Stefan Sauerland, Markus K Diener, Markus W Büchler, Christoph M Seiler, the INSECT Study Group of the Study Centre of the German Surgical Society (SDGC)

Journal:

Year:

2005

Language:

english

File:

PDF, 1.21 MB

english, 2005

9

The Study Centre of the German Surgical Society—rationale and current status

Hanns-Peter Knaebel, Markus K. Diener, Moritz N. Wente, Hartwig Bauer, Markus W. Büchler, Matthias Rothmund, Christoph M. Seiler

Journal:

Langenbeck's Archives of Surgery

Year:

2005

Language:

english

File:

PDF, 152 KB

english, 2005

10

Can decision making in general surgery be based on evidence? An empirical study of Cochrane Reviews

Markus K. Diener, Robert F. Wolff, Erik von Elm, Nuh N. Rahbari, Chris Mavergames, Hanns-Peter Knaebel, Christoph M. Seiler, Gerd Antes

Journal:

Year:

2009

Language:

english

File:

PDF, 274 KB

english, 2009

11

To whom do the results of the multicenter, randomized, controlled INSECT trial (ISRCTN 24023541) apply? - assessment of external validity

Lars Fischer, Hanns P Knaebel, Henriette Golcher, Thomas Bruckner, Markus K Diener, Jeannine Bachmann, Markus W Büchler, Christoph M Seiler

Journal:

Year:

2012

Language:

english

File:

PDF, 199 KB

english, 2012

12

Center for clinical studies in a surgical department—An approach for more evidence-based medicine

Christoph M. Seiler, Moritz N. Wente, Markus K. Diener, Boris E. Fröhlich, Markus W. Büchler, Hanns-Peter Knaebel

Journal:

Contemporary Clinical Trials

Year:

2006

Language:

english

File:

PDF, 82 KB

english, 2006

13

Reclassifying the antithesis of Specker’s theorem

Journal:

Archive for Mathematical Logic

Year:

2012

Language:

english

File:

PDF, 176 KB

english, 2012

14

DiaSurg 2 trial - surgicalvs. medical treatment of insulin-dependent type 2 diabetes mellitus in patients with a body mass index between 26 and 35

Kenngott, Hannes G, Clemens, Gabriella, Gondan, Matthias, Senft, Jonas, Diener, Markus K, Rudofsky, Gottfried, Nawroth, Peter P, Büchler, Markus W, Fischer, Lars, Müller-Stich, Beat P

Journal:

Year:

2013

Language:

english

File:

PDF, 344 KB

english, 2013

15

The Pseudocompactness of [0.1] Is Equivalent to the Uniform Continuity Theorem

Douglas Bridges and Hannes Diener

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 512 KB

english, 2007

16

Interrupted or Continuous Slowly Absorbable Sutures For Closure of Primary Elective Midline Abdominal Incisions

Seiler, Christoph M., Bruckner, Thomas, Diener, Markus K., Papyan, Armine, Golcher, Henriette, Seidlmayer, Christoph, Franck, Annette, Kieser, Meinhard, Büchler, Markus W., Knaebel, Hanns-Peter

Journal:

Annals of Surgery

Year:

2009

Language:

english

File:

PDF, 811 KB

english, 2009

17

Surgical Versus Medical Treatment of Type 2 Diabetes Mellitus in Nonseverely Obese Patients

Müller-Stich, Beat P., Senft, Jonas D., Warschkow, René, Kenngott, Hannes G., Billeter, Adrian T., Vit, Gianmatteo, Helfert, Stefanie, Diener, Markus K., Fischer, Lars, Büchler, Markus W., Nawroth, Pe

Journal:

Annals of Surgery

Year:

2015

Language:

english

File:

PDF, 406 KB

english, 2015

18

SEPARATING THE FAN THEOREM AND ITS WEAKENINGS

LUBARSKY, ROBERT S., DIENER, HANNES

Journal:

Journal of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 403 KB

english, 2014

19

The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem

Bridges, Douglas, Diener, Hannes

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 475 KB

english, 2007

20

Logic, Computation, Hierarchies () || The life and work of Victor L. Selivanov

Brattka, Vasco, Diener, Hannes, Spreen, Dieter

Year:

2014

Language:

english

File:

PDF, 124 KB

english, 2014

21

Logic, Computation, Hierarchies () || AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS

Brattka, Vasco, Diener, Hannes, Spreen, Dieter

Year:

2014

Language:

english

File:

PDF, 579 KB

english, 2014

22

Logic, Computation, Hierarchies () || PARTIAL NUMBERINGS AND PRECOMPLETENESS

Brattka, Vasco, Diener, Hannes, Spreen, Dieter

Year:

2014

Language:

english

File:

PDF, 280 KB

english, 2014

23

Logic, Computation, Hierarchies () || Levels of discontinuity, limit-computability, and jump operators

Brattka, Vasco, Diener, Hannes, Spreen, Dieter

Year:

2014

Language:

english

File:

PDF, 446 KB

english, 2014

24

Logic, Computation, Hierarchies () || On the strongly bounded turing degrees of simple sets

Brattka, Vasco, Diener, Hannes, Spreen, Dieter

Year:

2014

Language:

english

File:

PDF, 740 KB

english, 2014

25

Logic, Computation, Hierarchies () || Boolean algebras of regular quasi-aperiodic languages

Brattka, Vasco, Diener, Hannes, Spreen, Dieter

Year:

2014

Language:

english

File:

PDF, 266 KB

english, 2014

26

Logic, Construction, Computation () || A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 181 KB

english, 2012

27

Logic, Computation, Hierarchies () || The completeness of isomorphism

Brattka, Vasco, Diener, Hannes, Spreen, Dieter

Year:

2014

Language:

english

File:

PDF, 170 KB

english, 2014

28

Variations on a theme by Ishihara

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 97 KB

english, 2015

29

Logic, Construction, Computation () || A New Use of Friedman’s Translation: Interactive Realizability

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 328 KB

english, 2012

30

Logic, Construction, Computation () || Constructive Solutions of Ordinary Differential Equations

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

31

Logic, Construction, Computation () || Another Unique Weak König’s Lemma WKL!! For Helmut Schwichtenberg, with respect and appreciation for his encouragement and friendship.

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 173 KB

english, 2012

32

Logic, Construction, Computation () || Non-Deterministic Epsilon Substitution for ID1: Effective Proof

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

33

Logic, Construction, Computation () || Preface

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 83 KB

english, 2012

34

Logic, Construction, Computation () || Polymorphic Logic

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

35

Logic, Construction, Computation () || Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 196 KB

english, 2012

36

Logic, Construction, Computation () || Formal Baire Space in Constructive Set Theory

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 222 KB

english, 2012

37

Logic, Construction, Computation () || Frontmatter

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 237 KB

english, 2012

38

Logic, Construction, Computation () || The Continuous Functionals as Limit Spaces

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 245 KB

english, 2012

39

Logic, Construction, Computation () || Functional Interpretations of Classical and Constructive Set Theory

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 209 KB

english, 2012

40

Logic, Construction, Computation () || A Finite Axiomatisation of Inductive-Inductive Definitions

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 282 KB

english, 2012

41

Logic, Construction, Computation () || Conservativity of transitive closure over weak constructive operational set theory Dedicated to Prof. Helmut Schwichtenberg

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 289 KB

english, 2012

42

Logic, Construction, Computation () || On the Relation Between Various Negative Translations

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 280 KB

english, 2012

43

Logic, Construction, Computation () || Contributors

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 75 KB

english, 2012

44

Logic, Construction, Computation () || Weak Theories of Truth and Explicit Mathematics Dedicated to Helmut Schwichtenberg on his retirement

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 247 KB

english, 2012

45

Logic, Construction, Computation () || A Hierarchy of Ramified Theories Below PRA

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 249 KB

english, 2012

46

Logic, Construction, Computation () || About the Strength of Operational Regularity Dedicated to Helmut Schwichtenberg on his retirement

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 230 KB

english, 2012

47

Logic, Construction, Computation () || Contents

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 100 KB

english, 2012

48

Logic, Construction, Computation () || Representing L-Domains as Information Systems

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika

Year:

2012

Language:

english

File:

PDF, 415 KB

english, 2012

49

Midline Versus Transverse Incision in Major Abdominal Surgery

Seiler, Christoph M., Deckert, Andreas, Diener, Markus K., Knaebel, Hanns-Peter, Weigand, Markus A., Victor, Norbert, Büchler, Markus W.

Journal:

Annals of Surgery

Year:

2009

Language:

english

File:

PDF, 1.17 MB

english, 2009

50

The European Stroke Organisation Guidelines: a standard operating procedure

Ntaios, George, Bornstein, Natan M., Caso, Valeria, Christensen, Hanne, De Keyser, Jacques, Diener, Hans-Christoph, Diez-Tejedor, Exuperio, Ferro, Jose M., Ford, Gary A., Grau, Armin, Keller, Emanuell

Journal:

International Journal of Stroke

Year:

2015

Language:

english

File:

PDF, 183 KB

english, 2015